racy_write
concur.atomic.racy_write
Precondition
pre safety: (AAA_builtin_atomic_mutate atomic.this).env.atomic_access_supported T
Arguments
0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)
pre safety: (AAA_builtin_atomic_mutate atomic.this).env.atomic_access_supported T
Note that in conjunction with `racy_read`, this might create arbitrary
out-of-thin-air values.